<?php
  x = 42;
